Trait isotope::ctx::eq::TermEqCtxEdit [−][src]
pub trait TermEqCtxEdit: TermEqCtxMut { fn make_term_eq(&mut self, left: &TermId, right: &TermId) -> bool; fn shallow_cons_make_term_eq(
&mut self,
left: &TermId,
right: &TermId
) -> bool { ... } }
Expand description
A type which may be used as an editable context for checking isotope
terms for equality
Required methods
fn make_term_eq(&mut self, left: &TermId, right: &TermId) -> bool
[src]
fn make_term_eq(&mut self, left: &TermId, right: &TermId) -> bool
[src]Make two terms equivalent within this structure, returning whether they were already equivalent If this data structure conses, then this will deep cons both terms!
Provided methods
fn shallow_cons_make_term_eq(&mut self, left: &TermId, right: &TermId) -> bool
[src]
fn shallow_cons_make_term_eq(&mut self, left: &TermId, right: &TermId) -> bool
[src]Make two terms equivalent within this structure, returning whether they were already equivalent If this data structure conses, then this will shallow-cons both terms